perm filename CMR7.360[360,GF]2 blob
sn#848949 filedate 1987-11-21 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β8↔&∩p→'#⊂_FT F#!8C∃(↓U 5(↓U⊂λ↓U⊂λ↓U⊂λ↓T`⊂_↓T`⊂_↓T@⊂(↓T@⊂(↓T@⊂(↓T ⊂8↓T ⊂8↓T ⊂8↓T↓UB 4xB`4xB`4xB`4pC 4pC 4h↓CDP∧↓a$("⊂Bq@E`↓λ'a⊂_'a _'a0_'a0 'a0 'a0 'a0 'a0_'a 'a 'βI`_∧A `_¬@i`_¬A `_ε↓ `_ε↓ `_ε↓ `_ε↓ `_ε↓ `_¬A `_¬↓ `_∧A !⊂"Qλ10¬bpHβA ∃λ↓A@ ⊂↓∪`0Pα∪@0`↓S 0p↓∪0x↓∩`AR`AR`1λR@DPα∩@DPα∩@DPα∩`1λR`AR`AS0xS 0pS@0`S`0PT 00↓∀`t("⊃β⊃PE`↓λ'a 'a _'a@_'a@_'aP_'aP 'a`_'a`_'a` 'a` 'a` 'a` 'a` 'a` 'a` 'a`_'aP 'aP_'a@ 'a@_'a 'a⊂_%∧(T "Ec↓8@αTp↓B`4p↓C$p↓C ∀p↓C $p↓C@∀p↓C@∀p↓A`⊂0S@08S@08S@00↓∪A4p↓A@$p↓A`∀p↓A`∀p↓A`⊂8S@0xS@0pS@0pS@0pS@0h↓∪@0`↓S@0Pα∩BT("⊃BQ0E`↓ 'a _'a0⊂'a@λ'a@⊂'aPλ'aPλ'`pλα@)`_β@)`_β@)`_βI`X'``⊂'`pλ'`pλ'`pλ'i`_'i`_'i`_'i X"QλqP∞¬bpPβ↓@∃λ↓A@ _↓∪`0PαS@0h↓S 0p↓S1↓∪1λR`AλR`1⊂R@DPα∩@DPα∩@@X¬R@A↓R`1↓R`@x↓S0x↓S0x↓S 0p↓S@0h↓S`0Xα∀ 0@@@% ∧↓∀("∩β⊃PE`X↓Bi`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@iaλ'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_'a0_%α`0X"Q ⊂Xε¬bp¬S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓RA4("∩AaλE`0X)j _)j _)j _)j _)j _)j _)j _)j _)i0λβi _α@i _α@i ⊂α@i0⊂αIP("Q 1H
¬bp¬A`tp↓CDp↓C$p↓C∀p↓B`∀p↓B $p↓B∀p↓A`∀p↓A@∀p↓A ∀p↓A4p↓@`⊂λ↓S@0⊂@@4p↓@ ⊂ ↓S@@0↓S@08↓S@0@↓S@0H↓S@0P↓S@0P↓S@0X↓S@0`↓S@0XαRA0(∧Q(D`
¬"q8αi`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_ε)`_ε)`_ε)`_¬@I`_¬@I`_¬@)`_¬I`_∧↓ !_"Q R⊂Ebp∧∧↓∧pα∧Dp@ 0p@ 4p@ 0p@ 4p@ 0p@ 4p@@0`@@4p@@0`@@4p@`0P@`4p@`0P@`4p@`0P@`4pA0@A4pA0@A4pA 00A 4pA 00A 4pA@0 A@4pA@0 A@4pA@0 A@4pA`0⊂A`4pA`0⊂A`4pB@@↓S@⊂@αα4pB@@↓S 0@↓α 4P∧A (¬Q(DpFBq8↓a⊂H'↓↓0_'↓↓@λ' ⊂_¬@)`λ↓a λ' _¬)`λ↓@a⊂λ' @_∧)`λα@`pλ' P_β@)`λβ``λ' p_α@)`λβ@`Pλ'!_α)`λ∧@`0λ'!⊂_↓@)`λ¬` λ'!0_@)`λε↓ `λε↓ `λε@i`λπIP_ε@I H¬@(T 'F#18B uα↓ Dx↓B 4p↓B`4h↓C 4`↓C`4Xαβ`DXαβ`DX↓D 4Pα∧ DPα∧ DPα∧ DPα∧ DPα∧ DPα∧ DX↓D 4Xαβ`DXαβ`D`↓C`4h↓C 4p↓B`4x↓B 5α↓ E_βQ(E¬bq8∧)`_∧↓ `_¬i`_¬@i`_¬A `_¬A `_¬A `_¬A `_¬A `_¬@i`_¬i`_∧↓ `h'i`_'i`_'i`_'i`_'i`_%αhT (F#1pB uα↓ Dx↓B 4p↓B`4h↓C 4`↓C`4Xαβ`DXαβ`DX↓D 4Pα∧ DPα∧ DPα∧ DPα∧ DPα∧ DPα∧ DX↓D 4Xαβ`DXαβ`D`↓C`4h↓A@(↓S@0⊂A⊂_↓S`0λA ⊂λ↓T@(α∀a8V@ 0V@ 0V@0 ↓⊗`uXβWUh↓Q(E⊂
εbq8βi`_βA `_∧@i`_¬i`_¬↓ `_¬↓ `_¬↓ `_¬↓ `_¬i`_∧@i`_βA `X'`p⊂'a⊂'a⊂⊂'a⊂_'a⊂_'a⊂_'a⊂ 'a⊂ 'a⊂ α@)`_¬↓@λ'a ↓@) X∧↓(T )Dα!8A` S (↓ $`B 4XB`$P↓α`$P↓β∀P↓β∀P↓R@4XαS↓∧h¬∀↓¬ αU@58↓V$PC $PC $PC $P↓α`$P↓B@∀P↓ 0↓∩@⊂ βQ(E ε"q8EI0_β@``_%@!⊂_∧)0λ∧@aλ%A⊂_∧I λ¬a⊂λ%! _∧@) λ¬a⊂λ*@jP_*@jP_*@jP_*@jP_*@jP_*@jP_*@jP_*@jh"Q
QH
¬bp¬A!∀p↓C4p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀p↓C ∀x↓B`∃↓α@%λ↓α%⊂↓A % β⊃(E0FBq8α!⊂8&@a`_&@a`⊂'aPλ'aPλ'↓↓0⊂'@a0λ'@a0λ(a⊂λ(a⊂λ(↓p⊂(@`pλ(@`pλ)`Pλ)`Pλ)@`0λ)@`0λ)@`0λ*`⊂λ*`⊂λ*@jP_*@j`λ"Q
r ∩Ebp∧AA⊂(βS@Xαα@4h↓B`@XS 0Xαα`∀p↓B@@PS@0H@@0HS@0H@@0HS`0@@@0@S`08A08S`08A08T00A00T0(A@0(T0(A@0(T 0 A@0 T 0_B0_T 0_B0_T@0⊂B0⊂T@0λB@0λT@0λB@0λT`@Pα∀`0`↓T`0`↓U `↓∃⊂pQ(E@FBq8B P@'↓↓⊂ '@a⊂⊂'A↓λ(`p⊂(@``λ(A@λ)`0λ)@` λ)A*@_*@jP * ⊂_)@@ _)@ @_) P (@ p_(@!_(!⊂ '@!0_'A@_&A↓ (%α↓H"Q⊃H
¬bp∧B thαβ 4hαβ $p↓C ∀x↓B`∀xαα %↓B ∃λ↓A`∃λα↓@∃⊂↓A ∃_↓@`∃_α@∃ ↓@ ∃ α∃ 5(↓U 5(↓U 5(↓U 5(↓U 5λ¬⊃(EP ¬αq8D)0 ∧@i0_¬i0⊂¬i0λ¬i0λ¬i0λ∧@i0λ∧↓
@_)@j )j⊂_(↓
_'@a⊂λ'↓↓⊂λ'a λ&@a ⊂&@a λ&a0λ%@a0⊂%@a⊂ %∧(T 0Dα pπ@tX↓A$X↓A $`A@5_↓T`4p∧∪0 ↓R`0(↓R@00↓R@00↓@`∀P↓A@0_R@0(α`∀X↓@``λ↓∪ @_α⊃(F⊂ ∧bq8↓IP_&@iP_&@iP_&@iP_&@iP_↓↓)P(αiP_∧IP_∧iP_∧@IP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@IP_∧iP_β@iP⊂@@@_&@ @("Q0pπCA`(βS 0 ↓S0(↓R`08R`$P↓R@4P↓R@4P↓R`$X↓B ∀`↓A`∀h↓A $xβ⊃(F ∧bq8∧AJ`_+j`_+j`_+j`_+ip(↓iP_α↓)@_β@i0_∧i0⊂∧@i _∧@i _∧@i _∧@i _∧@i _∧@i0⊂∧@i0_∧i@⊂βA P_α ⊂_'A 0"QPpπCA`(αS 0 ↓∪ 8↓∩`08↓∩` H↓∩@0H↓∩AdP↓R@4P↓R`$X↓B ∀`↓α∀h↓A $xβ⊃(F0εβαq8βA
⊂@ip⊂↓i`_↓@)`_'i`_'i`_%α)`_'i`_'i`_'i`_'i`_'i`_'i`_%B(T 3Dα⊃0π↓`⊂↓S ↓@@$`↓↓@$X↓A@4X↓A@4X↓A@4X↓A@4`↓↓@$h↓↓$`@ d`S$`¬∪↓Dhε∩` Hα∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩` P↓∪00↓S`d("~α!_E`0&@iP_&@iP_&@iP_&@iP_&@` (&@`⊂λαIP α@iP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βi H↓↓hT 4B↓↓8@`$`α∪Dh↓⊃`PλαS 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4P∧⊃(FP∧Aca8βIp 'A
⊂#A 00(j_(j_(j_(j_(j_(j_(j_(j_(i0λαi _↓@I _↓I0("Q
1⊂ Ebpβ∪ 4h↓S 4h↓S 4h↓S 4h↓S 0 βS 0(α∪ 0(↓∪ 0 ↓∪ 0_S 0⊂↓∪ 0λ↓S @λ↓S 0⊂α∪ 0_α∪ 0 ↓S 0 α∪ 0(α∪ 0(αRA⊂∧⊃(F`∧B"q8↓IP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@i H"Q
Qh∂βA`β`P(αS 0λ↓`0⊂↓`4hα↓@@0↓S @0α↓@4h↓A`08↓S 08↓A`4h↓A`08↓S 08↓A`4h↓A`08↓S 08↓A`4h↓A`08↓S 08↓A`4h↓A`08↓S 08↓A`4P∧@A⊂∧⊃(Fp ∧a`p↓@ (&@`⊂λαIP α@iP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βiP_βi H↓↓hT 7Dα⊂pπ↓ dh↓A4`↓α$X↓B4X↓α@$P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4X↓α@$X↓B4`↓α$h↓A4xβ⊃(G ∧bPp↓@ (&A @_&@`p_&@a_&@a_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a_&@a_&@`p_&A @_&@` (&@iP_&@iP_&@iP_%α(T 8DB1(π↓ P S 0 @@$`↓A@DX↓B4X↓B4P↓B 4P↓B 4P↓B 4P↓B 4P↓B 4X↓B4X↓B4`↓A@Dh↓A⊂λ↓S`P⊂↓U@50↓U@50↓U@50↓Ta∀("≤A@hπβ@0↓iP_@ ⊂_&A _&@`@λ&@iP_&@iP_&@iP_&@iP_&@iP_%α(T 9C↓Ppπ`P⊂R` (↓R@ @R@ @R@08R@dX∧∪↓∀xβ∀`4PB $PB $P↓α∀P↓A@∀P@@d("≥↓0`
¬Pλ'@)pλ'IP_&↓ P&@iP_&@iP_&@iP_&@iP_&@`@λ&@`@λ&@`@λ&@`@λ'` λ'AλT :DB0pπ`_β∪ 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 0(α∪@ @ 4xα@@d("≥B⊃⊂πβ@8αA)@ β@IP_β@)P_β@)P α@I`_α@)`_α@)p_↓@)p_↓@*_@*_@*((@j⊂_)(T ;Fβ⊂pπp⊂β@`T`↓A@00↓S00↓A@$h↓A @(S 0(α↓ ∀h↓A⊂⊂↓↓ ∀p↓@`⊂⊂↓@`∀p↓@`⊂⊂↓@`∀pα ⊂ ↓@$x↓@ ⊂ ↓@ ∀x↓@ ⊂ ↓@ ∃↓A@5↓A@5↓α%λB∀("≡α⊃⊂πβ@8↓Ai@ α@iP_β)`_α)p_↓)p((↓
⊂_(A
λ↓ipλ↓A `⊂αiP⊂βi@_β↓ 0α↓hT <D"!(πp(αS@8↓∪ 08S 08S @(↓∪@0(S@0(S`0_S`0_T0λT0λTUλ↓T 5⊂T@∃λT ∀P↓@`$P↓@`∀P↓@@∀Xα⊃(GPεCA`pC 0⊂βi0λβ↓ 0λβi0λα@i0λα↓
_'@i`_α@)P α@)P_β)@_β)0 β)0_βI `"Q↓
Ebp S@0H↓S@0P↓∪@0XS@0X↓∪@0`S@0`S@0`S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4P¬Q(@λ
G"q8ε@*`_+jPλ@j@⊂A
@λ↓@j0λα↓
0λα@j λβ↓
λβ@j⊂λ∧↓
⊂λ∧@jλ¬@ip⊂¬A pλε@i`λπ↓ `λπ@iPλλ↓ Pλλ@i@λ ↓ @λ @i1H%εi!X"Q!H
EbpHβT@(α∪`0H↓S@0X↓S 0h↓S0x↓R`@xα∩`@xα∩`1λ↓R@@_B ⊂_α∩@@_¬@`DPαa0_α∩@@_¬@`DPα`⊂H@`DPα∧ DX↓D 4Xαβ`DXαβ`D`↓C`4h↓C 4p↓B`4x↓B 5α↓ E_βQ(@_Fαq8¬@*@_*j@_)A*0λ@j0λ@j λ↓↓
λ↓@j λ↓@j⊂λα@j⊂λα@j⊂λα@jλβ@jλβ@jλβ@ipλ∧@ipλ∧@ipλ∧@i`λ¬@i`λ¬@iP⊂¬A @ ¬↓ 8βαHT α¬αa8@αDP
∩@⊃⊂R@⊃⊂R@⊃⊂Q`@_C∀hC∀hπ∪!dhC∀hC∀8α⊃⊂R@⊃⊂R@⊃⊂RBDP
⊃(@(FBq8ε)`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i`_¬@i X↓BhT β¬C↓8@αTX↓C DXαβ@$`↓C`∀h↓C@$hαβ@∀pαβ ∀x↓C ∀xα∀Eλ↓T@5⊂↓T`∃⊂T ⊂hT⊂pS`⊂xS@⊂x↓∪@⊂xS ⊂x↓∪⊂pα∩bDP
Q(@8Fbq8↓A↓0 %Bp@%B PH%@P ↓AP⊂% p_↓@`pλ)@`⊂_*@⊂⊂*@⊂⊂*@ ⊂λ*@jP_*@jP_*@jP_*@jP_*@jP_*@jP_*@jP_(BhT ∧¬C↓8AA5 ↓U5 ↓U5λ∧∪@@⊂↓@ Dh↓A0_↓R`@(↓ADX↓A@0(↓R@@0↓A DPα↓@0(α∩@@0↓A DPα↓@0(α∩`00↓A 4Xα↓ 0 α∪ 0 ↓@`4pα@0λα∀!¬ ↓U5 ↓U5¬Q(@HFbq8βBjP_*@jP_%↓p_βA @_β``_&``_βiP_α@`P_&@`P_α@iP_α@`P_&@`P_α@iP_α@`P_&@`P_α@i`⊂α@`P⊂'`@_αip⊂α`@⊂(@0_↓@J⊂_@`⊂_)AjP_*@jP_*@j⊂X"Q↓!0¬bp8∧∪`00↓S 0P↓S0`↓R`@`α∩`0p↓R@@pα∩@@pα∩@@pα∩@@pα∩@@pα∩`@`α∩`@`α∪0`↓S 0P↓S 0P↓S@ P↓∪` @↓∩@⊂ ↓α R@⊂(B⊂(R@ ↓↓@ ↓∩`p0βR`p0βR`p0βQ(Cπ∧αQ(αA P⊂αI@⊂βI0_βi0⊂∧I0⊂∧I _∧i _∧i _∧i _∧i _∧i _∧i _∧i _∧i _∧i _∧i0⊂∧I0⊂∧I0_βi@⊂βIP⊂αI`0"Qε⊂`πE"P0↓∪`4P∧∪`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓RAD("Aa
E @0&@P_%@!_%@!_%A %a_%a_*↓
@_*j0_)@J ⊂(@J⊂'@Ipλβ@)`λ∧)Pλ∧I@X%C h"Qε0pλ¬"P αS ↓R` 0↓R`0(α∩`00↓S⊂0α∀`E_↓T`%⊂↓∪@U⊂↓T`5 ↓UDXBDP↓A`DP↓A`DPB 4XA`4`↓↓4pαQ(C λ∧"Q(¬J@⊂)@j )↓
⊂λ@jλ↓ip⊂↓ipλ↓@i`λαiPλα@iPλα@i@λβi0λβ@i ⊂β@i!)@j0_)@j0_)@ipX"QεPpλ¬"P⊂↓↓`$`¬∪↓∀`∧∪∀`S∀`S⊂⊂αS0 ↓∪⊂8↓∃ %(↓U 5(↓R@0@↓R@0@↓R@ H↓∩`⊂@↓R`⊂@↓∪ ↓S@T("
Aa
E p '@@@λ' `⊂&@@P_&@`_%@i0⊂%i _↓↓) _@ @⊂%↓`⊂%↓p⊂%a_%a_%a_%a_%@A_%@A_&@p⊂&@`⊂&@@@⊂'A(T ≠Cb⊃0 ∀Xπ∩aTXεR@ PR@⊂PR@⊂HU∃_T@∃⊂T %λT%↓∀$x↓S`4x↓S`4x↓S`5Q(C@π∧αQ(αA)P⊂αI@⊂βI0⊂∧I0⊂∧I0⊂∧I0_β@I@_α@I@(↓IP8'AIP⊂↓↓)@⊂α↓)0⊂β@i ⊂∧@i ⊂¬I ⊂¬I ⊂¬I0⊂∧@)0⊂∧)@_αI`0"Qπ⊂pλ¬"P αS ↓∪ 0↓∩` 8↓∩@0@↓∩@0@↓∩@0@↓R@0@↓R@0@↓R@0@↓R` 8α∪ 0α∪ @ 4pα@@5(↓U % ↓R`00↓∩`00↓∩` 0↓∪⊂ ↓S T(" ↓a
F pλ(@)`0&@@ λ↓I@λα @λ%@ Pλα) ⊂α@ Pλ%@Pλ↓@i ⊂α@ 0_%`@λα) _α)0 ↓)@8&B p8(@ ⊂ (@ 0⊂(@ 0_%@ PλαI _α @⊂%@PλαI λβ @⊂%@ Pλ↓@I0λα@ 0λ&@0λ@I`0(@*⊂λ"Q∧aH
Ebp8↓T ⊂S` S@0 S@0 S@0 S@0_S@0_S@0⊂S@0λB↓∧x↓B`Dx↓C∀xαα@∀p@ 0PS ⊂⊂αα∀`A0@R` (↓A@∀P↓A @ R@00α@∀P↓A`TP↓B@HR`0@α↓`$`↓A ⊂↓A $pβ↓@d("∂aPxE`08& `⊂%@!⊂%`p_%`p_%@!_)@j _(@J⊂λ(Jλ(*λ(*λ#AP⊂'↓ ` '@HT ∨β!q8λ↓ $pα∪@Dx↓⊃`@0T∀xS`∀xS`∀pS $`↓∩`$P↓B∀P↓A`4P↓A`4X↓α∀X↓A@∀hβQ(A∧α↓`pA)P_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_%αλT λB q(π`e↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓R`⊂ ↓R@0_↓∩@0⊂↓∩`T("ε"↓λE``0'@@@⊂'@`⊂&@``_&@``_&@``_&@``_&@`P_&@`@_%↓@ _&@`@⊂&@`P_&@``⊂&@``_&@`p⊂&@`p_&@`p_&@`p_&@`p_&@`p_&@`p⊂&@` ⊂↓iP_↓@ ⊂%↓@0 "Qβ!8CA`⊂∧↓ TX↓A ⊂↓↓$X↓A@@0↓∪⊂8α↓`∃ ↓B% ↓B%λS @_↓S 0↓R`00↓R@08↓R@08αα∀P↓A`@@R`0 ↓@@0 ↓∪ `0αQ(AX
G↓`pαA@p(&@`@_↓@`@⊂&A⊂@@p⊂%@a(∧)0⊂¬a⊂⊂%a _∧@I _¬βI _¬i _¬i _¬i0⊂¬i0_∧↓!⊂λ&A⊂@`pλ&@`@_↓@`P⊂'A@p0"QβAλEα⊂pU`∃0↓∪``λS 0 ↓S 8↓R`00@ 4X↓↓@⊂_↓∩@00@`4P↓A ⊂ ↓R@0 ↓↓4P↓A⊂(↓R@0_A@4X↓`⊂0↓∩`0λA@4`↓A`$h↓A4h@ d`↓∪∀XQ(Ah∂Hαq8∧¬*Pλ↓a⊂_*@ _¬JPλ↓a0λ* 0_¬@J@λ↓@a@λ)@ @_ε*0λαa@λ)@ @_β@* λα@`pλ) P_β@* λα@``⊂(DJ⊂λβ``⊂(@`_β@*λβ@`pλα@*λβ@`pλα@)pλ∧a@λ'@!_ε)pλ∧a@λ'!⊂_¬@I`λ∧@a _&@a_∧@i @↓DHT ∂λdQ8B#¬λ↓A PP↓S`0@αα`$p↓B@0`S 0X↓C$`αα`0hR`@`↓C ∀Xαβ0@A∀X↓C 0@R@@h↓B∀Pαβ 08↓∩@@hε∩@@h↓A`$Pαβ 0@R@@h↓B∀Xαβ0@A ∀Xαβ0pR`@`↓C ∀`αα`0hS 0X↓C ∀p↓B@0`↓∪`0@αα`5λ↓A PP↓Tc∧("πc⊃X
F"`λ/@*08α*_βA)p⊂¬@I`⊂εiP⊂ε ⊂&APλ↓@I0_ε @_%@a0λα@i0⊂¬@@`⊂%a0λβ@i _¬!_%a⊂λ∧@i _∧@!⊂_%aλ¬i _β@!0_%@@`⊂¬@I0_α@!0_%@`@λεi@⊂↓@!P⊂&@@ λεI`_εIp⊂¬@I`(β@i`λα↓iPλ&(T ⊂Aq8@ $Pα∩@DPα∩@DPα∩@DX↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓⊃`@λ↓∩@DPα∩`$("∂@8D⊂⊂%↓ %@Hp @I0⊂%@I0⊂%@I0⊂%@I0⊂%@I %↓ %↓ %↓ 0⊂"Q∧1X∞GBp`↓↓`%0↓↓`%0↓↓`%(↓↓`%(↓↓`%(↓↓`%(↓↓`%(↓↓`% ↓↓`% ↓↓`$P
RC5_↓↓`%_↓↓`%_↓↓`%⊂↓↓`%⊂↓↓`%⊂↓↓`$P
RC5λ↓↓`%↓↓`%↓↓`%↓↓`%↓↓`$x↓↓`$x↓↓`$x↓↓`$p↓↓`$p↓↓`$p↓↓`$(" #1h
F @_π@I@⊂↓@!P_%@`@⊂¬i0⊂α@ ⊂⊂β↓ _β 0@I _β!⊂⊂%``λ∧I _β p⊂%``λβ@I _β `⊂%@@PλβI0_α P⊂&@0λβI`_βJ`⊂β@jP⊂β@0λ*@@P_α*@⊂β@Pλ)@@`_β* ⊂β@``λ)@p_β*⊂⊂∧``λ(A⊂_β*⊂∧@``λ'@A0⊂α@)`⊂ε`@λ&@A`⊂↓@)`λλhT ∪A!P@ $Pα∩@TX↓ ∀pS@∀pS ∀`↓∪∀P↓⊃(B@∧C∧⊃H∧*⊂λ()pλ'IP⊂&@I@⊂&I0⊂%@I0⊂%i _%i _%i _%i _%i _%@I0⊂%@I@⊂&IP⊂&@I`⊂'@*λ(@* λ"Q¬⊂H¬H#⊂R`∀`S ∀h↓∪@$p↓∪`$x↓∀%↓∀%↓T5↓T5↓T5↓T5↓T5↓∀%↓∪`$x↓∪@$p↓∪ $hS∀XR@∀("
Aaπε `⊂(J⊂%@@⊂αI _↓@@0_%A⊂⊂A `0(I`0%A⊂⊂A _↓@@0_%@@⊂αJ⊂(J⊂"Q¬1H
F"P`↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@$PRC∃0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@$("@8¬`⊂⊂%↓ %@iPλ&@)Pλ&)@λ%@) λ"Q¬` β@`0λ↓∩@DPα∩`$("aa⊃ε!Pλ+JP⊂*@JP⊂*J@⊂*J0⊂)@J0⊂)J ⊂(@J⊂⊂(@J⊂(J⊂'@Ip⊂'@I`⊂'IP⊂&@IP⊂&I@⊂&I0⊂%@I0⊂%I ⊂"Qπ βCA`λ↓∩@DPα∩`$8β@ $Pα∩@DX↓⊃(CXα↓bPp@I %↓ 0⊂#A`⊂⊂%↓ %@iPλ&@)Pλ&)@λ%@) λ"QπQH
B!PRC∀8ββ∀PQ(DFbq8∧Aj⊂⊂β@Ip⊂¬@I`λπ@)Pλλ@)@λβA pλ%@ `_α pλ%@ P⊂β@ `λ%@ @_∧`0λ% P⊂∧@`@λ% @_∧@`@λ% @_∧@`@λ% @_∧@`@λ% @_∧@`@λ% P⊂∧@`@λ%@ @_∧`@λ%@ P⊂βA0λ%@ `_α ⊂_↓@)@λβA @ &@)`λ'@Ap_(@A⊂()BHT -AA∩⊂@dPβ∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$Pβ∩@d("↔ `0⊃ε 0%↓I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂%↓I 0"Q(βBBp_↓∪∀X↓∩`∀PR@∀PR@⊂λ↓∩@TXα∪$("∧@pXαE`_%i &iP_'@(T Aa`(A4p↓S D`↓R`4XQ(A ∧β 1(@@⊂%@@ ⊂&↓ P⊂"QαPPπ↓BpB∀PB∀P↓↓@$XA@∀X↓↓$`β∪ D("¬A@x∧``"Qαp8λA"p⊂↓R@ _↓∩@⊂(R@⊂(R@ _↓∪4(!@?␈␈x␈@απ?␈␈x|␈␈␈x␈A4pα∀5λ↓T 4X∧∩@∀("λ↓⊂H↓C!λ'A @_%HT /α↓P_`$`@@∀XA∀PA@∀("↔`P8↓E`⊂_%@i0_%@hT >BAp(@ 0_↓R`0_↓R`0_↓R@0_↓R@ ↓∩@⊂(Q(Gpεβ`!0↓↓Pλ%BI λαAλT ?BA`_@ ↓∩@@⊂α∩@@⊂α∩` ↓⊃(@Xεαq8∧A@0((↓P ↓ip_β↓0_'`p_α@)`_β@i`_β@i`_β@i`_β@i`_β@i!('`p_'`p_'`p_'`p_'`p_'`p_'`p_'`p_'`p_'`p_'`p_'`p_'`p_%B0@"Q↓A
¬bpHβ∀@(S`00↓S@08↓S@0@S@4p↓S@4p↓RB∀p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4p↓A`4X∧a∧("β"A Ea⊂@(`P_'@``_'`p_'`p_'`p_'`p_'`p_'`p_%∧)`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i`_β@i0@↓BλT ππcq8B p β∀ 00αA ∀x↓A`@0↓S@0@↓A`4p↓B0@S@0@↓S@0@↓S@0@↓S@0@↓RCDp↓B08↓S@0@↓A`4p↓B08↓S@0@↓A`4p↓B08↓S@0@↓A`4p↓B08↓S@0@↓A`4p↓B08↓S@0@↓A`4p↓B08↓S@0@↓A`4p↓B08↓Ra β@a∧("βcqxEa⊂8αα
⊂_β↓P_'@`p βi`_∧`p_'a_β@i`_∧`p_'a_β@i`_∧`p_'a_β@i!`'a_β@i`_∧`p_'a_β@i`_∧`p_'a_β@i`_∧`p_'a_β@i`_∧`p_'a_β@i`_∧`p_'a_β@i`_∧`p_'a_β@i0H↓α ⊂H"Q∧ hπαBpλ↓↓@$Pα↓DPα@`TX↓ ⊂ ↓ ∀pA`∀pA`∀pA`∀hA`∀`↓↓@$`A`∀P↓↓@$("!⊂HBH%α(T .β"⊂P@` 0↓∪⊂8R` 0↓∩`⊂8R@⊂8R@⊂8R@⊂8R@⊂λ↓↓⊂λ↓∩@P_αR`@ α∪ 0↓⊃(GX ∧@H∧HT > D`∧@∧d(wCM⊗ 2[NFH3~,W⊂⊂⊂iU⊂wE,6x2~-f89Xmε(6Y$¬ 2V∧π 2↑∞Nxε→Mvp:→L⊗_2XO↔ 2|`∂∨ >@8
HIh
α>fpα>f␈x␈␈␈`∧ox␈␈}pβ∨0ε X&N λW>`λ⊂@↓p
@↓λQ=@!xβAα(α∨h{c0ε A`∧Mo0αε@`λ⊃ 2}`(∞@↓Wh␈↓_¬=@a`β!C(α6x{↓cpπα∧P∧x/0∧πhε
∧}`H∂@↓`@∩@↓ ==A!`β!C(αNH{αc¬5l λdo0ε¬`P,Z ⊃d>`h@↓%H4@α_v=Ab⊂βpap∧Dx{βd πaC` ≠∂0λα`(⊗- m↑aλεZPW↓Hm⎇B! α#G(∧ @{∧b@∧G∞PλC?0
¬H∞≥ ⊃↑a(
↓⊃`:@α⊂ ⎇Ba α#G(∧&{¬cPε←?`λM∨0∧@@⊂! ⊃!≡aH
↓⊃`;@↓P
=C!`β!C(β'h{εcpπα∧PεYo0∞¬H∞≥
J>ah⊃@αβ@t@↓XE=Cb@∧FHβAX{πcpπα∧Pπ∃O0⊂α`(⊗- ⊃+≡bλ¬@R`Z@↓h≥⎇D! α#G(∧VH{λd⊂πAαPπ3←0∩¬H∞≥ ⊃≡b(⊂@↓p
@↓p=DaxβAα(β({ a0αK⊗PπX?0∀∧8∩% ∂8↑bHλr J@↓x⊗⎇E! α#G(βw@{
cpπα∧Pπv←0⊗α`(⊗- ∂|≡bhε@b@R@α(P=E`X↓%K(∧h{b@∧G∞PλβO0_¬H∞≥
V↑cλ
↓⊃`:@↓(Z⎇F! α#G(α↑@{b@∧G∞P¬E←0~¬H∞≥ ≥↑c(
↓⊃`:@↓0↑⎇Fa α#G(αp {
b@∧G∞P¬k?0≤¬H∞≥ e↑cH
↓⊃`:@↓8v⎇G X↓%K(∧εH{∞a0αK⊗Pλ⊂/0≡α`(⊗- ∞[≡ch∂@↓`@∩@αT⎇Ga_α∪gpβ↔X{∂b0∧'O`ε(∂0 π`p∧ ⊂.↑dλ∞@↓Wh␈⊃⎇H!`β_r⊂λ{⊂c@εCεP≤∨0"π@haD@O≡d(
@↓DH∀@λO⎇HaPαy3⊂ {⊃cpπ ∩pK∨0$π h>␈@↓/≡dHπiP7_⊂⎇I! α*UH5@{∩c`ε}}ps∨0&ε X&N α↓↑dh∩απλg &⎇Iahβ/←pP⊂{∪cpπα∧P↓0␈0(ε``$J αz↑eλ∂@↓`@∩@0≠⎇J!hβ(QHkP{∀b`¬εP↓d?0*πhε
β↑↑e(∞@↓Wh␈8f⎇Jahβ/←p↓β⊂{∃e ~5`α∩∨0,π h>␈@∧N↑eH∞@↓Wh␈HL⎇K!@αbE(↓≡P{⊗a0αK⊗Pλ)␈0.¬H∞≥ ∩j}eh¬@R`Z@αλN=Ka α#G(∧+X{↔a0αK⊗PλZ∂00α`(⊗- ⊂z>fλ
↓⊃`:@P∨⎇L!0αCε(↓(⊂{_b ∧λ⊂Pα[∨02¬@P→ ¬B↑f( ↓αB@X0⎇L``↓5*p↓90{→b@∧G∞Pαz?04¬@P→ ε≡fH¬@R`Z@`A⎇M `↓5*p↓K⊂{~bP∧fM`β≡←06α`(⊗- εR↑fh⊂@↓p
@h@⎇Ma0αCε(↓↑0{≠b@∧G∞PβE?08¬@P→ π~↑gλ
@↓→P5@p]⎇N!↓dI(↓q{≤bβO8pβg␈0:∧8∩% π↑≡g(↓!@2@xY⎇Na(α3&p↓␈@{≥c@εCεP∧ε?0<¬ HM≠@λ&≡gH
@↓→P7↓i⎇O!⊂α∧λ(α∩⊂{≡b@∧G∞P </0>
↓⊂≤: ∩z}gh
↓⊃`:@α⊂o⎇Oa α#G(∧/p{∨b@∧G∞Pλa␈H∧bpAw{⎇xow{⎇x